libcvc3-dev software package provides Automatic theorem prover library for SMT problems (development files), you can install in your Ubuntu 16.04 LTS (Xenial Xerus) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install libcvc3-dev
libcvc3-dev is installed in your system.
Make ensure the libcvc3-dev package were installed using the commands given below,
$ sudo dpkg-query -l | grep libcvc3-dev *
You will get with libcvc3-dev package name, version, architecture and description in a table
| Distro | Ubuntu 16 04 lts xenial xerus |
| Section | Library development |
| Package | libcvc3-dev |
| Version | 2.4.1-5ubuntu1 |
| Description | Automatic theorem prover library for SMT problems (development files) |
| Sub Section | Devel |
I'm very pleased to share my working experience in the Linux field and have posted articles in this website — bits and pieces learned throughout my career.
